Assumptions: binary copowers, self-dual
Conclusions: binary powers
Proof: This holds by self-duality.